Apartness and Uniformity - A Constructive Development
نویسندگان
چکیده
Of course, from childhood to forever, we are always thought to love reading. It is not only reading the lesson book but also reading everything good is the choice of getting new inspirations. Religion, sciences, politics, social, literature, and fictions will enrich you for not only one aspect. Having more aspects to know and understand will lead you become someone more precious. Yea, becoming precious can be situated with the presentation of how your knowledge much.
منابع مشابه
Precompact Apartness Spaces
We present a notion of precompactness, and study some of its properties, in the context of apartness spaces whose apartness structure is not necessarily induced by any uniform one. The presentation lies entirely with a Bishop-style constructive framework, and is a contribution to the ongoing development of the constructive theories of apartness and uniformity.
متن کاملApartness, Topology, and Uniformity: a Constructive View
The theory of apartness spaces, and their relation to topological spaces (in the point—set case) and uniform spaces (in the set—set case), is sketched. New notions of local decomposability and regularity are investigated, and the latter is used to produce an example of a classically metrisable apartness on R that cannot be induced constructively by even a uniform structure.
متن کاملApartness spaces as a framework for constructive topology
An axiomatic development of the theory of apartness and nearness of a point and a set is introduced as a framework for constructive topology. Various notions of continuity of mappings between apartness spaces are compared; the constructive independence of one of the axioms from the others is demonstrated; and the product apartness structure is defined and analysed.
متن کاملJourney into Apartness Space
On more than one occasion, the late Errett Bishop [1] suggested that general pointset topology might have little signi cance for constructive mathematics, and that locally convex spaces, together with appropriate ad hoc topological constructions, might su¢ ce for most constructive analysis. Work begun by us ve years ago suggests that, on the contrary, there is at least one constructive approa...
متن کاملA discrete duality between apartness algebras and apartness frames
Apartness spaces were introduced as a constructive counterpart to proximity spaces which, in turn, aimed to model the concept of nearness of sets in a metric or topological environment. In this paper we introduce apartness algebras and apartness frames intended to be abstract counterparts to the apartness spaces of Bridges and Vîta [3], and we prove a discrete duality for them.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011